﻿<?xml version="1.0" encoding="utf-8"?>
<Document xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns="http://www.w3.org/2007/rif#">
  <payload>
    <Group>
      <sentence>
        <Forall>
          <declare>
            <Var>X</Var>
          </declare>
          <formula>
            <Implies>
              <if>
                <Frame>
                  <object>
                    <Var>X</Var>
                  </object>
                  <slot ordered="yes">
                    <Const type="http://www.w3.org/2007/rif#iri">http://example.org/example#status</Const>
                    <Const type="http://www.w3.org/2001/XMLSchema#string">normal</Const>
                  </slot>
                  <slot ordered="yes">
                    <Const type="http://www.w3.org/2007/rif#iri">http://example.org/example#discount</Const>
                    <Const type="http://www.w3.org/2001/XMLSchema#string">10</Const>
                  </slot>
                </Frame>
              </if>
              <then>
                <Do>
                  <actions ordered="yes">
                    <Retract>
                      <target ordered="yes">
                        <Frame>
                          <object>
                            <Var>X</Var>
                          </object>
                          <slot ordered="yes">
                            <Const type="http://www.w3.org/2007/rif#iri">http://example.org/example#discount</Const>
                            <Const type="http://www.w3.org/2001/XMLSchema#string">10</Const>
                          </slot>
                        </Frame>
                      </target>
                    </Retract>
                    <Assert>
                      <target>
                        <Frame>
                          <object>
                            <Var>X</Var>
                          </object>
                          <slot ordered="yes">
                            <Const type="http://www.w3.org/2007/rif#iri">http://example.org/example#discount</Const>
                            <Const type="http://www.w3.org/2001/XMLSchema#string">0</Const>
                          </slot>
                        </Frame>
                      </target>
                    </Assert>
                  </actions>
                </Do>
              </then>
            </Implies>
          </formula>
        </Forall>
      </sentence>
      <sentence>
        <Frame>
          <object>
            <Const type="http://www.w3.org/2007/rif#iri">http://example.org/example#John</Const>
          </object>
          <slot ordered="yes">
            <Const type="http://www.w3.org/2007/rif#iri">http://example.org/example#status</Const>
            <Const type="http://www.w3.org/2001/XMLSchema#string">normal</Const>
          </slot>
          <slot ordered="yes">
            <Const type="http://www.w3.org/2007/rif#iri">http://example.org/example#discount</Const>
            <Const type="http://www.w3.org/2001/XMLSchema#string">10</Const>
          </slot>
        </Frame>
      </sentence>
    </Group>
  </payload>
</Document>